Finite frattini factors in finitely generated Abelian-by-polycyclic groups

Finitely Generated Abelian Groups

MATH 436 Notes: Finitely generated Abelian groups

Definition 1.1 (Direct Products). Let {Gα}α∈I be a collection of groups indexed by an index set I. We may form the Cartesian product ∏ α∈I Gα. The elements of this Cartesian product can be denoted by tuples (aα)α∈I . We refer to the entry aα as the αth component of this tuple. We define a multiplication on this Cartesian product componentwise, i.e., (aα) ⋆ (bα) = (aα ⋆α bα) where ⋆α is the grou...

On Lattices Generated by Finite Abelian Groups

This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In the case where the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a ...

Elementary Equivalence and Profinite Completions: a Characterization of Finitely Generated Abelian-by-finite Groups

In this paper, we show that any finitely generated abelian-byfinite group is an elementary submodel of its profinite completion. It follows that two finitely generated abelian-by-finite groups are elementarily equivalent if and only if they have the same finite images. We give an example of two finitely generated abelian-by-finite groups G, H which satisfy these properties while G x Z and H x Z...

Finitely generated nilpotent groups are finitely presented and residually finite

Definition 1. Let G be a group. G is said to be residually finite if the intersection of all normal subgroups of G of finite index in G is trivial. For a survey of results on residual finiteness and related properties, see Mag-nus, Karrass, and Solitar [6, Section 6.5]. We shall present a proof of the following well known theorem, which is important for Kharlampovich [4, 5]. See also O. V. Bele...